Autogenerated HTML docs for v1.5.6-12-g73f03
diff --git a/git-push.html b/git-push.html index 156bd35..16cd745 100644 --- a/git-push.html +++ b/git-push.html
@@ -342,7 +342,8 @@ <dd> <p> Instead of naming each ref to push, specifies that all - refs under <tt>$GIT_DIR/refs/heads/</tt> and <tt>$GIT_DIR/refs/tags/</tt> + refs under <tt>$GIT_DIR/refs/</tt> (which includes but is not + limited to <tt>refs/heads/</tt>, <tt>refs/remotes/</tt>, and <tt>refs/tags/</tt>) be mirrored to the remote repository. Newly created local refs will be pushed to the remote end, locally updated refs will be force updated on the remote end, and deleted refs @@ -768,7 +769,7 @@ </div> <div id="footer"> <div id="footer-text"> -Last updated 08-Jun-2008 22:46:55 UTC +Last updated 21-Jun-2008 09:40:20 UTC </div> </div> </body>
diff --git a/git-push.txt b/git-push.txt index 89e0049..f3d5d88 100644 --- a/git-push.txt +++ b/git-push.txt
@@ -67,7 +67,8 @@ --mirror:: Instead of naming each ref to push, specifies that all - refs under `$GIT_DIR/refs/heads/` and `$GIT_DIR/refs/tags/` + refs under `$GIT_DIR/refs/` (which includes but is not + limited to `refs/heads/`, `refs/remotes/`, and `refs/tags/`) be mirrored to the remote repository. Newly created local refs will be pushed to the remote end, locally updated refs will be force updated on the remote end, and deleted refs
